Os equívocos de Peirce

Warping Peirce Quincuncial Panoramas

The Peirce quincuncial projection is a mapping of the surface of a sphere to the interior of a square. It is a conformal mapping except for four points on the equator. These points of non-conformality cause significant artifacts in photographic applications. In this paper, we propose an algorithm and userinterface to mitigate these artifacts. Moreover, in order to facilitate an interactive user...

The Peirce translation

We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of minimal logic plus Peirce’s law into minimal logic, which we refer to as the Peirce translation, as it eliminates uses of Peirce’s law. When combined with modified realizability this translation applies to full classical...

Análise de Conformidade de Processos de Negócios: Experiência com os Dados do MPTCM-PA

Process Mining techniques are used for automatic extraction of information about business processes from logs of information systems, so you can verify the conformity between the planned process and the actual process. To illustrate the usefulness of such techniques, this paper presents an experience report with the data generated by the process-aware system of MPTCM-PA. It was possible to reve...

Estudo Bibliométrico da Produção Científica de Gerenciamento de Riscos entre os Anos de 2000 e 2012

Managing complex objects in Peirce

The Peirce project (named after Charles Sanders Peirce) is an international collabora-tive project aiming to construct a freely available conceptual graphs workbench to support research in the conceptual graphs community in areas such as natural language processing, enterprise modelling, program speciication and veriication, management information systems , conceptual information retrieval, med...